退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过测试验证形式规范的一致性和有效性
Shaoying Liu;
机译:验证正式规范中的时序一致性
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:跨抽象级别的验证流程,以正式规范为依据验证实现
机译:基于测试的定理形式验证及其在软件规范验证中的应用
机译:JVM及其字节码验证程序的正式规范和验证。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:基于形式验证规则的组件规格分解测试
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术
机译:设备正式验证一致性管理软件系统微控制器设计规范
机译:测试案例有效性自动验证程序和测试案例有效性自动验证结果显示方法
机译:用于软件规范的形式验证辅助装置及其方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。